Propagation Rule Compiler: Evaluation Esprit Project 6333 Propagation Rule Compiler: Evaluation
نویسندگان
چکیده
This document evaluates the Propagation Rule Compiler (PROP) which has been developed at the Univ. of Bonn and continuously improved within the last three years. The purpose of PROP is to analyze all deductive rules of a given Chimera schema implementing derived concepts (attributes, classes, views, and constraints). Based on this analysis it generates triggers which are able to compute all implicit changes once a particular updating transaction has been issued. In this paper we will rst present a basic approach to the generation of un-optimized propagation triggers. This technique diiers from the one presented in earlier deliverables in that it rst derives deductive propagation rules for declaratively expressing the dependencies between explicit and implicit changes. Although PROP is able to deal with the entire Chimera model and language, we restrict our considerations to a subset of the deductive rule language. This subset includes all features raising interesting questions wrt update propagation and at the same time allows a clear presentation of the techniques applied. Furthermore, we explain how the structure of the basically resulting triggers can be modi-ed in order to enhance eeciency of update propagation. Finally, we discuss our approach in comparison with related methods.
منابع مشابه
Propagation Rule Compiler : Technical Documentation
The Propagation Rule Compiler (PROP) is a tool developed within the ES-PRIT III project IDEA (Intelligent Database Environment for Advanced Applications). It aims at supporting developers of Chimera applications during schema design and prototyping. PROP consists of two components: the rule compiler as such and an explanation facility. The task of the explanation facility is to graphically illu...
متن کاملPropagation Rule Compiler : Technical
The Propagation Rule Compiler (PROP) is a tool developed within task 2.4 \Tools for Rule Design and Analysis". It aims at supporting developers of Chimera applications during schema design and prototyping. PROP consists of two components: the rule compiler as such and an explanation facility. The task of the explanation facility is to graphically illustrate the logical dependencies established ...
متن کاملIntelligent Database Environment for Advanced Applications Idea Propagation Rule Compiler User Manual Intelligent Database Environment for Advanced Applications Idea Contents
متن کامل
Compiling High Performance Fortran in the Prepare Environment
The ESPRIT project Prepare aims to develop a High Performance Fortran (HPF) compiler within an integrated programming environment. This paper presents several ideas from the compiler speciication that we have elaborated as the basis for the forthcoming compiler implementation. HPF data distribution and alignment speciications are translated by the compiler into mathematical functions that deter...
متن کاملAn Effective Modality Conflict Model for Identifying Applicable Policies During Policy Evaluation
Policy evaluation is a process to determine whether a request submitted by a user satisfies the access control policies defined by an organization. Modality conflict is one of the main issues in policy evaluation. Existing modality conflict detection approaches do not consider complex condition attributes such as spatial and temporal constraints. An effective authorization propagation rule is n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007